A Web Navigator with Applets in Caml
نویسنده
چکیده
This paper reports on the implementation of applets in Caml Special Light, a strongly typed functional language. The experiment shows the major contributions of strong typing and powerful module systems for supporting secure execution of mobile code. Security checks are almost entirely performed once at compile-time, and authentication proves that checks have actually been done.
منابع مشابه
Java Security: Web Browsers and Beyond
The introduction of Java applets has taken the World Wide Web by storm. Java allows web creators to embellish their content with arbitrary programs which execute in the web browser, whether for simple animations or complex front-ends to other services. We examined the Java language and the Sun HotJava, Netscape Navigator, and Microsoft Internet Explorer browsers which support it, and found a si...
متن کاملBeyond Java: An Infrastructure for High-Performance Mobile Code on the World Wide Web
We are building an infrastructure for the platform-independent distribution and execution of high-performance mobile code as a future Internet technology to complement and perhaps eventually succeed Java. Key to our architecture is a representation for mobile code that is based on adaptive compression of syntax trees. Not only is this representation more than twice as dense as Java byte-codes, ...
متن کاملA World Wide Web-to-Database Connectivity using Tcl/Tk: The Hydrology-Meteorology Toolkit
The Hydrology-Meteorology Toolkit is a Tcl/Tk applets library for numerical/graphical processing hydrometeorological data. It uses Tcl/Tk as a basic language. With the Tcl/Tk Plugin installed on the W3 browser side, applets use the HTTP protocol for querying an Oracle database server and managing i/o C programs towards Tcl CGI scripts. 1. The MED-HYCOS project The World Meteorological Organizat...
متن کاملCut-&-Paste Attacks with JAVA
This paper describes malicious applets that use Java’s sophisticated graphic features to rectify the browser’s padlock area and cover the address bar with a false https domain name. The attack was successfully tested on Netscape’s Navigator and Microsoft’s Internet Explorer; we consequently recommend to neutralize Java whenever funds or private data transit via these browsers and patch the flaw...
متن کاملControlling Applets' Behavior in a Browser
In this paper we discuss methods of protecting Javaenabled Web browsers against malicious applets. Malicious applets involve denial of service, invasion of privacy and annoyance. Since system modification by applets is generally impossible because of the Java security concept, denial of service is of major concern. Invasion of privacy may be caused by applets staying resident in the browser and...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Computer Networks
دوره 28 شماره
صفحات -
تاریخ انتشار 1996